The Join of the Varieties of R-trivial and L-trivial Monoids via Combinatorics on Words
نویسندگان
چکیده
The join of two varieties is the smallest variety containing both. In finite semigroup theory, the varieties of R-trivial and L-trivial monoids are two of the most prominent classes of finite monoids. Their join is known to be decidable due to a result of Almeida and Azevedo. In this paper, we give a new proof for Almeida and Azevedo’s effective characterization of the join of R-trivial and L-trivial monoids. This characterization is a single identity of ω-terms using three variables.
منابع مشابه
The Join Levels of the Trotter-Weil Hierarchy Are Decidable
The variety DA of finite monoids has a huge number of different characterizations, ranging from two-variable first-order logic FO to unambiguous polynomials. In order to study the structure of the subvarieties of DA, Trotter and Weil considered the intersection of varieties of finite monoids with bands, i.e., with idempotent monoids. The varieties of idempotent monoids are very well understood ...
متن کاملJordan derivation on trivial extension
Let A be a unital R-algebra and M be a unital A-bimodule. It is shown that every Jordan derivation of the trivial extension of A by M, under some conditions, is the sum of a derivation and an antiderivation.
متن کاملMAXIMAL PRYM VARIETY AND MAXIMAL MORPHISM
We investigated maximal Prym varieties on finite fields by attaining their upper bounds on the number of rational points. This concept gave us a motivation for defining a generalized definition of maximal curves i.e. maximal morphisms. By MAGMA, we give some non-trivial examples of maximal morphisms that results in non-trivial examples of maximal Prym varieties.
متن کاملThe $w$-FF property in trivial extensions
Let $D$ be an integral domain with quotient field $K$, $E$ be a $K$-vector space, $R = D propto E$ be the trivial extension of $D$ by $E$, and $w$ be the so-called $w$-operation. In this paper, we show that $R$ is a $w$-FF ring if and only if $D$ is a $w$-FF domain; and in this case, each $w$-flat $w$-ideal of $R$ is $w$-invertible.
متن کاملOn trivial ends of Cayley graph of groups
In this paper, first we introduce the end of locally finite graphs as an equivalence class of infinite paths in the graph. Then we mention the ends of finitely generated groups using the Cayley graph. It was proved that the number of ends of groups are not depended on the Cayley graph and that the number of ends in the groups is equal to zero, one, two, or infinity. For ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2012